definition of domain function